Projectible predicates in analogue and simulated systems

Abstract: We investigate the relationship between two approaches to modeling physical systems. On the first approach, simplifying assumptions are made about the level of detail we choose to represent in a computational simulation with an eye toward tractability. On the second approach simpler, analogue physical systems are considered that have more or less well-defined connections to systems of interest that are themselves too difficult to probe experimentally. Our interest here is in the connections between the artifacts of modeling that appear in these two approaches. We begin by outlining an important respect in which the two are essentially dissimilar and then propose a method whereby overcoming that dissimilarity by hand results in usefully analogous behavior.